大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Technical Committee on Mathematical Foundations of Computing 17th July 的图书(共4723本)

Information Security and Privacy [electronic resource] : 15th Australasian Conference, ACISP 2010, Sydney, Australia, July 5-7, 2010. Proceedings

0
索取号：
作者：Steinfeld、 Ron.、Hawkes、 Philip.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Haptics: Generating and Perceiving Tangible Sensations [electronic resource] : International Conference, EuroHaptics 2010, Amsterdam, July 8-10, 2010. Proceedings

0
索取号：
作者：Kappers、 Astrid M. L.、Erp、 Jan B. F.、Bergmann Tiest、 Wouter M.、Helm、 Frans C. T.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Haptics: Generating and Perceiving Tangible Sensations [electronic resource] : International Conference, EuroHaptics 2010, Amsterdam, July 8-10, 2010. Proceedings, Part I

0
索取号：
作者：Kappers、 Astrid M. L.、Erp、 Jan B. F.、Bergmann Tiest、 Wouter M.、Helm、 Frans C. T.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Articulated Motion and Deformable Objects [electronic resource] : 6th International Conference, AMDO 2010, Port d鈥橝ndratx, Mallorca, Spain, July 7-9, 2010. Proceedings

0
索取号：
作者：Perales、 Francisco J.、Fisher、 Robert B.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Interactive Theorem Proving [electronic resource] : First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

0
索取号：
作者：Kaufmann、 Matt.、Paulson、 Lawrence C.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computational Intelligence for Knowledge-Based Systems Design [electronic resource] : 13th International Conference on Information Processing and Management of Uncertainty, IPMU 2010, Dortmund, Germany, June 28 - July 2, 2010. Proceedings

0
索取号：
作者：H眉llermeier、 Eyke.、Kruse、 Rudolf.、Hoffmann、 Frank.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Software Composition [electronic resource] : 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings

0
索取号：
作者：Baudry、 Beno卯t.、Wohlstadter、 Eric.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computing and Combinatorics [electronic resource] : 16th Annual International Conference, COCOON 2010, Nha Trang, Vietnam, July 19-21, 2010. Proceedings

0
索取号：
作者：Thai、 My T.、Sahni、 Sartaj.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Soft Computing in XML Data Management [electronic resource] : Intelligent Systems from Decision Making to Data Mining, Web Intelligence and Computer Vision

0
索取号：
作者：Ma、 Zongmin.、Yan、 Li.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

L茅vy Matters I [electronic resource] : Recent Progress in Theory and Applications: Foundations, Trees and Numerical Issues in Finance

0
索取号：
作者：Duquesne、 Thomas.、Reichmann、 Oleg.、Sato、 Ken-iti.、Schwab、 Christoph.、Barndorff-Nielsen、 Ole E.、Bertoin、 Jean.、Jacod、 Jean.、Kl眉ppelberg、 Claudia.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.

Tests and Proofs [electronic resource] : 4th International Conference, TAP 2010, M谩laga, Spain, July 1-2, 2010. Proceedings

0
索取号：
作者：Fraser、 Gordon.、Gargantini、 Angelo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Natural Computing in Computational Finance [electronic resource]

0
索取号：
作者：Brabazon、 Anthony.、O鈥橬eill、 Michael.、Maringer、 Dietmar G.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Web Engineering [electronic resource] : 10th International Conference, ICWE 2010, Vienna Austria, July 5-9, 2010. Proceedings

0
索取号：
作者：Benatallah、 Boualem.、Casati、 Fabio.、Kappel、 Gerti.、Rossi、 Gustavo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

High Performance Computing in Science and Engineering, Garching/Munich 2009 [electronic resource] : Transactions of the Fourth Joint HLRB and KONWIHR Review and Results Workshop, Dec. 8-9, 2009, Leibniz Supercomputing Centre, Garching/Munich, Germany

0
索取号：
作者：Wagner、 Siegfried.、Steinmetz、 Matthias.、Bode、 Arndt.、M眉ller、 Markus Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Trust and Trustworthy Computing [electronic resource] : Third International Conference, TRUST 2010, Berlin, Germany, June 21-23, 2010. Proceedings

0
索取号：
作者：Acquisti、 Alessandro.、Smith、 Sean W.、Sadeghi、 Ahmad-Reza.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computer Networks [electronic resource] : 17th Conference, CN 2010, Ustro艅, Poland, June 15-19, 2010. Proceedings

0
索取号：
作者：Kwiecie艅、 Andrzej.、Gaj、 Piotr.、Stera、 Piotr.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.